#include<iostream>
#include<vector>
#include<format>
using namespace std;
typedef long long ll;
auto arr=vector(21,vector(21,vector(21,-1)));
int w(ll a,ll b,ll c){
  if(a<=0||b<=0||c<=0) return 1;
  if(a>20||b>20||c>20) return w(20,20,20);
  int &temp=arr[a][b][c];
  if(temp!=-1) return temp;
  if(a<b&&b<c) return temp=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
  return temp=w(a-1,b,c)+w(a-1,b-1,c)+w(a-1,b,c-1)-w(a-1,b-1,c-1);
}
int main(){
  ll a,b,c;
  while(cin>>a>>b>>c){
  if(a==-1&&b==-1&&c==-1) break;
  cout<<format("w({}, {}, {}) = {}",a,b,c,w(a,b,c))<<endl;
  }
}